TSTP Solution File: PRO021^1 by Mace4---1109a